منابع مشابه
Quantificational Modal Logic with Sequential Kripke Semantics
We introduce quantificational modal operators as dynamic modalities with (extensions of) Henkin quantifiers as indices. The adoption of matrices of indices (with action identifiers, variables and/or quantified variables as entries) gives an expressive formalism which is here motivated with examples from the area of multi-agent systems. We study the formal properties of the resulting logic which...
متن کاملKripke-style Semantic for Modal Orthomodular Logic
In their 1936 seminal paper, Birkhoff and von Neumann made the proposal of a non-classical logic for quantum mechanics founded on the basic lattice-order properties of all closed subspaces of a Hilbert space. These lattice-order properties are captured in the orthomodular lattice structure, characterized by a weak form of distributivity called orthomodular law. This “weak distributivity”, which...
متن کاملOn Checking Kripke Models for Modal Logic K
This article presents our work toward a rigorous experimental comparison of state-of-the-art solvers for the resolution of the satisfiability of formulae in modal logic K. Our aim is to provide a pragmatic way to verify the answers provided by those solvers. For this purpose, we propose a certificate format and a checker to validate Kripke models for modal logic K. We present some experimental ...
متن کاملBi-modal Gödel logic over [0,1]-valued Kripke frames
We consider the Gödel bi-modal logic determined by fuzzy Kripke models where both the propositions and the accessibility relation are infinitely valued over the standard Gödel algebra [0,1] and prove strong completeness of Fischer Servi intuitionistic modal logic IK plus the prelinearity axiom with respect to this semantics. We axiomatize also the bi-modal analogues of T, S4, and S5 obtained by...
متن کاملFour-valued modal logic: Kripke semantics and duality
We introduce a family of modal expansions of Belnap-Dunn four-valued logic and related systems, and interpret them in many-valued Kripke structures. Using algebraic logic techniques and topological duality for modal algebras, and generalizing the so-called twist-structure representation, we axiomatize by means of Hilbert-style calculi the least modal logic over the four-element Belnap lattice a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Organon F
سال: 2019
ISSN: 1335-0668,2585-7150
DOI: 10.31577/orgf.2019.26302